halting problem

Turing applied it to prove the famous halting problem in the computation theory .

图灵应用它证明了计算理论中著名的停机问题。

However , all such computational systems are subject to a limitation known as the Halting problem .

然而，所有这些计算系统受到的停机问题已知的限制。

Reason analysis and solving measures of diesel engine abrupt halting problem for DF_4 locomotive

DF4型机车柴油机非正常停机原因分析及解决措施

Finally , an example of halting problem in an automotive stamping was used to verify the effectiveness and practicability of the model .

最后以某汽车企业冲压车间的停机问题为例进行实例分析，用实例验证了模型的效果和实用性。

To try to verify dynamic code at compile time would likely walk you straight into the halting problem just like it would for many kinds of tooling .

试图在编译阶段验证动态代码会使你陷入停机问题的漩涡。

Second , the paper analyzed and discussed the construction of halting problem solving knowledge network from conceptual 、 logical and computable perspective . The networks included causal network model and solution network model .

然后从概念层、逻辑层和可计算层分析讨论了停机问题处理知识网络模型，包括因果网络模型和方案网络模型。